Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
321	LETTERS PUBLISHED ONLINE: 6 APRIL 2014 \| DOI: [removed]NNANO[removed]Universal computing by DNA origami robots in a living animal Yaniv Amir1†, Eldad Ben-Ishay1†, Daniel Levner2, Shmulik Ittah1, Almogit Abu-Horowitz1 Add to Reading List Source URL: life-sciences.biu.ac.il Language: English - Date: 2014-04-08 02:13:35 Theoretical computer science Quantum information science Logic Algebraic logic Adder Computer arithmetic XOR gate Controlled NOT gate Robot Logic gates Abstract algebra Mathematics
322	Logic and the Sizes of Sets Larry Moss, Indiana University NASSLLI[removed] Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2014-06-27 10:53:59 Quantification Universal quantification FO If and only if Obfuscated code Kullback–Leibler divergence Mathematics Abstract algebra Theoretical computer science
323	On Holant Problems Jin-Yi Cai 1 Computer Sciences Department University of Wisconsin Madison, WI[removed]USA [removed] Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-08-13 19:03:43 Structure Universal algebra FO Metaphilosophy Mathematics Model theory Logic
324	Dichotomy for Holant∗ Problems of Boolean Domain Jin-Yi Cai∗ Pinyan Lu† Mingji Xia‡ Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-07-10 15:42:02 Algebraic structures Mathematical structures Universal algebra Model theory Structure Integral transform Arity Field Mathematics Algebra Abstract algebra
325	Dichotomy for Holant* Problems with a Function on Domain Size 3 arXiv:submit[removed]cs.CC] 10 Jul[removed]Jin-Yi Cai∗ Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2012-07-10 14:19:30 Matrices Mathematical structures Boolean algebra Model theory Structure Universal algebra Adjacency matrix FKT algorithm Group action Mathematics Algebra Abstract algebra
326	A basis for the Birman-Wenzl algebra H. R. Morton and A. J. Wassermann Foreword[removed]This paper is a very lightly edited version of an article originally written in 1989 but never fully completed. We had planned a fina Add to Reading List Source URL: www.liv.ac.uk Language: English - Date: 2010-04-19 10:26:36 Algebra Ring theory Lie algebras Operator theory Tangle Birman–Wenzl algebra Quantum group Von Neumann algebra Universal enveloping algebra Abstract algebra Knot theory Representation theory
327	Imperfect Information in Logic and Concurrent Games Pierre Clairambault1 , Julian Gutierrez2 , and Glynn Winskel1 1 2 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-03-06 10:39:50 Mathematics Philosophical logic Logic in computer science Structure Universal algebra Symbol Determinacy Independence-friendly logic Game semantics Logic Mathematical logic Model theory
328	Distributed Probabilistic and Quantum Strategies Glynn Winskel 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-04-08 08:56:11 Universal algebra Duality Valuation Mathematics Model theory Structure
329	CTCS 2004 Preliminary Version Limit Preservation from Naturality Mario Caccamo 1 The Wellcome Trust Sanger Institute Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-08-20 07:06:00 Limit Adjoint functors Diagram Universal property Natural transformation Coproduct Product Cone Initial and terminal objects Category theory Abstract algebra Functors

UPDATE